<!-- Empty "outdated" warning, we will handle this in 'banner.html' -->
